Wintersteiger, Christoph: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || PySAT: A Python Toolkit for Prototyping with SAT Oracles

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 1.63 MB

english, 2018

2

Structure aware RungeâKutta time stepping for spacetime tents

Gopalakrishnan, Jay, SchÃ¶berl, Joachim, Wintersteiger, Christoph

Journal:

SN Partial Differential Equations and Applications

Year:

2020

File:

PDF, 1.74 MB

2020

3

SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data

Woodhouse, Steven, Piterman, Nir, Wintersteiger, Christoph M., Göttgens, Berthold, Fisher, Jasmin

Journal:

BMC Systems Biology

Year:

2018

Language:

english

File:

PDF, 623 KB

english, 2018

4

[ACM Press the 2019 ACM SIGPLAN International Symposium - Phoenix, AZ, USA (2019.06.23-2019.06.23)] Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory Management - ISMM 2019 - snmalloc: a message passing allocator

Liétar, Paul, Butler, Theodore, Clebsch, Sylvan, Drossopoulou, Sophia, Franco, Juliana, Parkinson, Matthew J., Shamis, Alex, Wintersteiger, Christoph M., Chisnall, David

Year:

2019

Language:

english

File:

PDF, 1.49 MB

english, 2019

5

Automated Synthesis and Analysis of Switching Gene Regulatory Networks

Shavit, Yoli, Yordanov, Boyan, Dunn, Sara-Jane, Wintersteiger, Christoph M., Otani, Tomoki, Hamadi, Youssef, Livesey, Frederick J., Kugler, Hillel

Journal:

Year:

2016

Language:

english

File:

PDF, 1.63 MB

english, 2016

6

Higher order unfitted FEM for Stokes interface problems

Lederer, Philip, Pfeiler, Carl-Martin, Wintersteiger, Christoph, Lehrenfeld, Christoph

Journal:

Year:

2016

Language:

english

File:

PDF, 326 KB

english, 2016

7

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || ALIAS: A Modular Tool for Finding Backdoors for SAT

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 513 KB

english, 2018

8

[IEEE 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2018.9.20-2018.9.23)] 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Compositional Taylor Model Based Validated Integration

Liiva, Kristjan, Jackson, Paul B., Passmore, Grant O., Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 142 KB

english, 2018

9

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || Solving MaxSAT with Bit-Vector Optimization

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 578 KB

english, 2018

10

[ACM Press the 2019 ACM SIGPLAN International Symposium - Phoenix, AZ, USA (2019.06.23-2019.06.23)] Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory Management - ISMM 2019 - snmalloc: a message passing allocator

Liétar, Paul, Butler, Theodore, Clebsch, Sylvan, Drossopoulou, Sophia, Franco, Juliana, Parkinson, Matthew J., Shamis, Alex, Wintersteiger, Christoph M., Chisnall, David

Year:

2019

File:

PDF, 1.49 MB

2019

11

Ranking function synthesis for bit-vector relations

Cook, Byron, Kroening, Daniel, Rümmer, Philipp, Wintersteiger, Christoph M.

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 969 KB

english, 2013

12

Discovering Essential Multiple Gene Effects through Large Scale Optimization: an Application to Human Cancer Metabolism

Occhipinti, Annalisa, Hamadi, Youssef, Kugler, Hillel, Wintersteiger, Christoph, Yordanov, Boyan, Angione, Claudio

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Year:

2020

File:

PDF, 8.85 MB

2020

13

Tent pitching and Trefftz-DG method for the acoustic wave equation

Perugia, Ilaria, SchÃ¶berl, Joachim, Stocker, Paul, Wintersteiger, Christoph

Journal:

Computers & Mathematics with Applications

Year:

2020

Language:

english

File:

PDF, 1.13 MB

english, 2020

14

Loop summarization using state and transition invariants

Kroening, Daniel, Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei, Wintersteiger, Christoph M.

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.14 MB

english, 2013

15

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 ||

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 12.77 MB

english, 2018

16

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || Approximately Propagation Complete and Conflict Propagating Constraint Encodings

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 408 KB

english, 2018

17

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || Finding All Minimal Safe Inductive Sets

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 342 KB

english, 2018

18

Efficiently solving quantified bit-vector formulas

Wintersteiger, Christoph M., Hamadi, Youssef, Moura, Leonardo

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 718 KB

english, 2013

19

An Approximation Framework for Solvers and Decision Procedures

Zeljić, Aleksandar, Wintersteiger, Christoph M., Rümmer, Philipp

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 669 KB

english, 2017

20

Quantification of Phenylurea Pesticides by HPLC/ECD and Photolysis

Birgit Goger, Olaf Kunert, Christoph Seger, Rebecca Rinelli, Reinhold Wintersteiger

Journal:

Electroanalysis

Year:

2001

Language:

english

File:

PDF, 133 KB

english, 2001

21

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 1.35 MB

english, 2018

22

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 567 KB

english, 2018

23

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 547 KB

english, 2018

24

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || Local Soundness for QBF Calculi

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 540 KB

english, 2018

25

Seven Challenges in Parallel SAT Solving

Hamadi, Youssef, Wintersteiger, Christoph

Journal:

Year:

2013

Language:

english

File:

PDF, 186 KB

english, 2013

26

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || Machine Learning-Based Restart Policy for CDCL SAT Solvers

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 801 KB

english, 2018

27

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || Polynomial-Time Validation of QCDCL Certificates

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 401 KB

english, 2018

28

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Loopfrog: A Static Analyzer for ANSI-C Programs

Kroening, Daniel, Sharygina, Natasha, Tonetta, Stefano, Tsitovich, Aliaksei, Wintersteiger, Christoph M.

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

29

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || Centrality-Based Improvements to CDCL Heuristics

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 319 KB

english, 2018

30

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || Sharpness of the Satisfiability Threshold for Non-uniform Random k-SAT

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 394 KB

english, 2018

31

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2018 Volume 10929 || Chronological Backtracking

Beyersdorff, Olaf, Wintersteiger, Christoph M.

Year:

2018

Language:

english

File:

PDF, 783 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски